Bundle theory - PDFSEARCH.IO - Document Search Engine

Bundle theory
Results: 439

#	Item
351	Eberhard Freitag Riemann Surfaces Sheaf Theory, Riemann Surfaces, Automorphic Forms P Add to Reading List Source URL: www.rzuser.uni-heidelberg.de Language: English - Date: 2013-07-15 13:13:05 Algebraic topology Sheaf theory Homological algebra Differential topology Sheaf Hirzebruch–Riemann–Roch theorem Riemann surface Riemann–Roch theorem Vector bundle Topology Abstract algebra Mathematics
352	Weakest Preconditions for High-Level Programs (Long Version) Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-08-11 13:42:10 Category theory Morphisms Graph rewriting Graph theory Pushout Epimorphism Category Ample line bundle Sheaf Abstract algebra Mathematics Algebra
353	S´ eminaires & Congr` es 6, 2002, p. 249–272 TORIC MORI THEORY AND FANO MANIFOLDS Add to Reading List Source URL: www.emis.de Language: English - Date: 2002-09-09 04:34:23 Birational geometry Toric variety Cone of curves Blowing up Minimal model program Canonical bundle Ample line bundle Vector bundle Sheaf Geometry Abstract algebra Algebraic geometry
354	A Fast Bundle-based Anytime Algorithm for Poker and other Convex Games H. Brendan McMahan∗ Google, Inc[removed]Forbes Avenue Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-06-26 10:47:41 Operations research Game theory Convex analysis Mathematical economics Minimax Function Convex function Linear programming Vector space Mathematics Mathematical optimization Algebra
355	Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-06-21 08:43:28 Algebra Morphisms Algebraic geometry Predicate transformer semantics Program logic Pushout Graph rewriting Epimorphism Ample line bundle Abstract algebra Mathematics Category theory
356	Philos Stud[removed]:31–41 DOI[removed]s11098[removed]No bare particulars Andrew M. Bailey Add to Reading List Source URL: www.andrewmbailey.com Language: English - Date: 2012-02-11 18:46:18 Substance theory Bundle theory Universal Problem of universals Property Supposition theory Reality Equality Abstract particulars Ontology Metaphysics Philosophy
357	MSC.Software: Academic Software Bundles - Motion & Systems DATASHEET Academic Software Bundle For Motion & Systems Simulation Add to Reading List Source URL: www.mscsoftware.jp Language: English - Date: 2013-11-27 04:35:39 Simulation software Mechanics Multibody system Systems theory Computer-aided engineering Simulation MSC Software Application software Information technology management Product lifecycle management
358	Saltex Drop A Ground-Breaking Innovation NEW Add to Reading List Source URL: www.sportsbyg.dk Language: English - Date: 2012-11-12 07:36:35 Homotopy theory Dietary fiber Space Algebraic topology Differential topology Fiber bundle
359	Tsunami QuickBridge® 825 LNK Compact Point-to-Point Wireless Bridge Bundle Presenting Proxim’s newest compact Point-to-Point wireless backhaul solution. Proxim Wireless is a leader and an early innovator in wireless t Add to Reading List Source URL: www.proxim.com Language: English - Date: 2013-10-01 12:28:56 OSI protocols Technology Wireless networking Metropolitan area networks Information theory DBm WiMAX MIMO Wi-Fi IEEE 802 Network access Electronic engineering
360	Tsunami QuickBridge® 825 LNK Compact Point-to-Point Wireless Bridge Bundle . Presenting Proxim’s newest compact Point-to-Point wireless backhaul solution. Proxim Wireless is a leader and an early innovator in wireless Add to Reading List Source URL: www.proxim.com Language: English - Date: 2013-10-01 12:28:40 OSI protocols Technology Wireless networking Metropolitan area networks Information theory DBm WiMAX MIMO Wi-Fi IEEE 802 Network access Electronic engineering